Budget is the financial representation of the company's strategic plans. 预算是公司战略计划的财务呈现。
Based on CSP and the formal representation of the process plans in a manufacturing system, a new method of Petri net synthesis for automated manufacturing systems is presented. It provides the rigid foundation for the development of design theory for Petri nets for automated manufacturing systems. 根据自动制造系统工件工艺规程的形式化表示及通信顺序进程,提出了自动加工系统Petri网的一种综合方法,为研究复杂系统Petri网的设计理论提供了很好的基础。
This representation are formally described, and the generation algorithm of assembly plans of linear structure has been given in the paper. 本文给出表示方法的形式化描述和在此表示上的线性装配规划的生成算法。